Adjoint functors

Results: 460



#Item
361Order theory / Galois connection / Complete Heyting algebra / Function / Presentation of a group / Sheaf / Allegory / Adjoint functors / Residuated mapping / Mathematics / Abstract algebra / Algebra

Programming from Galois Connections — Principles and Applications (Extended version of reference [16])

Add to Reading List

Source URL: www.iis.sinica.edu.tw

Language: English - Date: 2011-03-16 00:37:11
362Algebra / Functors / Additive categories / Homotopy theory / Triangulated category / Adjoint functors / Mapping cone / Derived category / Category / Category theory / Abstract algebra / Homological algebra

TRIANGULATED CATEGORIES AND t-STRUCTURES DONU ARAPURA

Add to Reading List

Source URL: www.math.purdue.edu

Language: English - Date: 2010-09-09 12:11:58
363Algebra / Mathematics / Monad / Coproduct / Distributive property / Arrow / Limit / Functor / Universal property / Adjoint functors / Functional programming / Category theory

RAIRO-Inf. Theor. Appl[removed]342 DOI: [removed]ita:[removed]

Add to Reading List

Source URL: www.cs.ioc.ee

Language: English - Date: 2009-03-11 04:47:40
364Algebra / Functional programming / Monad / Coalgebra / F-coalgebra / Equivalence of categories / Natural transformation / Functor / F-algebra / Adjoint functors / Category theory / Abstract algebra

Electronic Communications of the EASST Volume X (2012)

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2012-02-19 08:06:32
365Adjoint functors / Category theory / Measure theory / Monoidal categories / Functional programming / Monad / Kleisli category / Monoid / Sigma-algebra / Mathematics / Mathematical analysis / Abstract algebra

Electronic Notes in Theoretical Computer Science[removed]URL: http://www.elsevier.nl/locate/entcs/volume69.html 18 pages

Add to Reading List

Source URL: www.iti.cs.tu-bs.de

Language: English - Date: 2006-03-30 04:31:01
366Algebraic topology / Homotopy theory / Triangulated category / Model category / Adjoint functors / Derived category / Pushout / Functor / Exact sequence / Abstract algebra / Category theory / Homological algebra

THE AXIOMS FOR TRIANGULATED CATEGORIES J. P. MAY

Add to Reading List

Source URL: www.math.uchicago.edu

Language: English - Date: 2005-03-15 21:23:37
367Functors / Category / Morphism / Product / Adjoint functors / Algebraic theory / Diagram / Natural transformation / Sheaf / Abstract algebra / Mathematics / Category theory

A CATEGORICAL MANIFESTO by

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2013-06-06 21:34:24
368Algebra / Monad / Kan extension / Natural transformation / Equivalence of categories / Limit / Universal property / Functor / Sheaf / Adjoint functors / Category theory / Abstract algebra

Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick Ralf Hinze

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2012-04-17 02:44:58
369Adjoint functors / Monoidal categories / Higher category theory / Monoidal functor / Combinatorial species / Monad / Functor / 2-category / Cartesian closed category / Category theory / Abstract algebra / Mathematics

THE CARTESIAN CLOSED BICATEGORY OF GENERALISED SPECIES OF STRUCTURES M. FIORE, N. GAMBINO, M. HYLAND, AND G. WINSKEL

Add to Reading List

Source URL: www.cs.le.ac.uk

Language: English - Date: 2007-10-29 10:09:01
370Logic in computer science / Type theory / Functional languages / Adjoint functors / Programming paradigms / Monad / Functional programming / Haskell / Denotational semantics / Software engineering / Computing / Theoretical computer science

A Functional Specification of Effects Wouter Swierstra

Add to Reading List

Source URL: etheses.nottingham.ac.uk

Language: English - Date: 2009-06-04 05:04:25
UPDATE